|
|
1.
|
ACM SYMPOSIUM ON THEORY OF COMPUTING, CONFERENCE RECORD ; 1st-
by . Material type:  Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 As78] (1).
|
|
|
2.
|
ACM SYMPOSIUM ON THEORY OF COMPUTING, CONFERENCE RECORD ; 1st-
by . Material type: Book Description: v.Publisher: 1969-Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 As78] (1).
|
|
|
3.
|
ACM SYMPOSIUM ON THEORY OF COMPUTING, CONFERENCE RECORD ; 1st-
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 As78] (1).
|
|
|
4.
|
Role of language in problem solving1
: proceedings...
by Symposium on The Role of Language in Problem solving I Laurel, Maryland 1984 | Jernigan, Robert [ed.] | Hamill, Brice W [ed.] | Weintraub, David M [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,405p.Publisher: Amstedam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 R643] (1).
|
|
|
5.
|
ROLE OF LANGUAGE IN PROBLEM SOLVING 2
by Boudreaux, J. C. [ed.] | Jernigan, R. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 471p.Publisher: Amsterdam North-Holland 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 R643b] (1).
|
|
|
6.
|
SYMBOL MANIPULATION LANGUAGES AND TEACHNIQUES
by Bobrow, Daniel G. Material type: Book Description: 487.Publisher: Amsterdam North-Holland Pub. 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 In8s] (1).
|
|
|
7.
|
SIMULATION PROGRAMMING LANGUAGES
by Buxton, J. N. Material type: Book Description: 463.Publisher: Amsterdam North-Holland Pub. 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 In8s] (1).
|
|
|
8.
|
FORMAL LANGUAGE DESCRIPTION LANGUAGES FOR COMPUTER PROGRAMMING
by | Steel, T. B. Material type: Book Description: 330.Publisher: Amsterdam North-Holland Pub. 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 In87f] (1).
|
|
|
9.
|
SYMBOLIC LANGUAGES IN DATA PROCESSING Description: 849.Publisher: N. Y. Gordon And Breach 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.783 Sy68s] (1).
|
|
|
10.
|
SIMULATION PROGRAMMING LANGUAGES
by Buxton, J. N. Description: 463.Publisher: Amsterdam North-Holland Pub. 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 In8s] (1).
|
|
|
11.
|
SYMBOL MANIPULATION LANGUAGES AND TEACHNIQUES
by Bobrow, Daniel G. Description: 487.Publisher: Amsterdam North Holland Pub. 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 In8s] (1).
|
|
|
12.
|
SIMULATION PROGRAMMING LANGUAGES
by Buxton, J. N. Description: 463.Publisher: Amsterdam North-Holland Pub. 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 In8s] (1).
|
|
|
13.
|
ALGORITHM SPECIFICATION
by Rustin, Randall. Description: 141.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C833a] (1).
|
|
|
14.
|
Courant computer science symposium 2
: formal semantics of programming languages
by Rustin, Randall [ed.]. Description: 248p.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1972Availability: No items available Withdrawn (1).
|
|
|
15.
|
FORMAL SEMANTICS OF PROGRAMMING LANGUAGES
by Rustin, Randall. Description: 248.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C833] (1).
|
|
|
16.
|
Command languages
by IFIP Working Conference on Command Languages Lund, Sweden 1974 | Unger, C [ed.]. Description: 401p.Publisher: Amsterdam North Halland Publication 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8c] (1).
|
|
|
17.
|
DATA BASES
by Deen, S. M | | Hammersley, P | . Description: xii,288.Publisher: London Hayden 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 In8d] (1).
|
|
|
18.
|
Software engineering
: proceedings ...
by 3rd. International Conference on Software Engineering Georgia, USA 1978. Description: 341p.Publisher: New York Institute Of Electrical And Electronics Engineers 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 In8 1978] (1).
|
|
|
19.
|
SOFTWARE ENGINEERING Description: 341.Publisher: New York Institute Of Electrical And Electronics Engineers 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 In8] (1).
|
|
|
20.
|
PROGRAMMING LANGUAGES AND SYSTEM DESIGN
by Bormann, J. Description: viii,251.Publisher: Amsterdam North Halland Pub. 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8] (1).
|
